\asegura {mismos (res, \comp {x}{x \selec personas(h), \\ 
mismos(fechasDesde(x,h), ingresosP(h,x)), \\ 
mismos(fechasHasta(x,h), salidasP(h,x))})}

\aux {reservasDeP}{p: DNI, h: Hotel}{[Reserva]}{\comp{x}{x \selec reservas(h), documento(x) == p, confirmada(x)}}

\aux {fechasDesde}{p: DNI, h: Hotel}{[Fecha]}{\comp{fechaDesde(y)}{y \selec reservasDeP(p,h)}}

\aux {fechasHasta}{p: DNI, h: Hotel}{[Fecha]}{\comp{fechaHasta(y)}{y \selec reservasDeP(p,h)}}

\aux {ingresosP}{h: Hotel, p: DNI}{[Fecha]}{\comp{snd(y)}{y \selec ingresosDe(h,p)}}

\aux {salidasP}{h: Hotel, p: DNI}{[Fecha]}{\comp{snd(y)}{y \selec salidasDe(h,p)}}

\aux {personas}{h:Hotel}{[DNI]}{sacarRepetidos([documento(x)|x \selec reservas(h)])}